Differentially algebraic group ChunksPILLAY, A.The Journal of symbolic logic. 1990, Vol 55, Num 3, pp 1138-1142, issn 0022-4812, 5 p.Article

Nonstandard definabilitySMITH, S. T.Annals of pure and applied logic. 1989, Vol 42, Num 1, pp 21-43, issn 0168-0072Article

Number of strongly χ_E-saturated models ― An additionSHELAH, S.Annals of pure and applied logic. 1988, Vol 40, Num 1, pp 89-91, issn 0168-0072Article

Trivial pursuit: remarks on the main gapBALDWIN, J. T; HARRINGTON, L.Annals of pure and applied logic. 1987, Vol 34, Num 3, pp 209-230, issn 0168-0072Article

Ordre fondamental d'une théorie mono-basée = Fundamental order of a one-based theoryBagheri, Seyed Mohammad; Poizat, Bruno.1997, 62 p.Thesis

Isolated types in a weakly minimal setBUECHLER, S.The Journal of symbolic logic. 1987, Vol 52, Num 2, pp 543-547, issn 0022-4812Article

Limit ultrapowers and abstract logicsLIPPARINI, P.The Journal of symbolic logic. 1987, Vol 52, Num 2, pp 437-454, issn 0022-4812Article

Relatively diophantine correct models of arithmeticGOLD, B.Notre Dame journal of formal logic. 1987, Vol 28, Num 2, pp 291-296, issn 0029-4527Article

Corps portant un nombre fini de valuations = Fields with a finite number of valuationsDELON, F.The Journal of symbolic logic. 1987, Vol 52, Num 4, pp 994-1004, issn 0022-4812Article

Model constructions in stationary logic. II: Definable ultrapowersBRUCE, K. B.Notre Dame journal of formal logic. 1986, Vol 27, Num 2, pp 257-262, issn 0029-4527Article

Malaise et guérison = Discomfort and recoveryPOIZAT, B.Studies in logic and the foundations of mathematics. 1986, Vol 120, pp 155-163, issn 0049-237XConference Paper

Théorie de la classification : «Dimensional Order Property» et paires de modèles, modèles dénombrables des théories ω-stables = Classification theory : dimensional order property and pairs of models, countable models of ω-stable theoriesBOUSCAREN, Elisabeth.1985, 152 pThesis

SimplicityPAMBUCCIAN, V.Notre Dame journal of formal logic. 1988, Vol 29, Num 3, pp 396-411, issn 0029-4527Article

Some properties of ∀∃ models in the isolsMCLAUGHLIN, T. G.Proceedings of the American Mathematical Society. 1986, Vol 97, Num 3, pp 495-502, issn 0002-9939Article

Effective construction of modelsKNIGHT, J. F.Studies in logic and the foundations of mathematics. 1986, Vol 120, pp 105-119, issn 0049-237XConference Paper

Counting problems over the realsMEER, K.Theoretical computer science. 2000, Vol 242, Num 1-2, pp 41-58, issn 0304-3975Article

Complete problems for symmetric logspace involving free groupsSTEWART, I. A.Information processing letters. 1991, Vol 40, Num 5, pp 263-267, issn 0020-0190Article

A unified approach to relative interpolationDUCCHART, D.Notre Dame journal of formal logic. 1988, Vol 29, Num 3, pp 412-419, issn 0029-4527Article

A basic free logicWU, K. J.Notre Dame journal of formal logic. 1988, Vol 29, Num 4, pp 543-552, issn 0029-4527Article

Reduced models for relevant logics without WISLANEY, J. K.Notre Dame journal of formal logic. 1987, Vol 28, Num 3, pp 395-407, issn 0029-4527Article

Classification theory over a predicate IPILLAY, A; SHELAH, S.Notre Dame journal of formal logic. 1985, Vol 26, Num 4, pp 361-376, issn 0029-4527Article

Modeling vagueness by nonstandardnessTZOUVARAS, A.Fuzzy sets and systems. 1998, Vol 94, Num 3, pp 385-396, issn 0165-0114Article

Corps aux différences finies = Finite-difference fieldsNONVIDE, S.Comptes rendus de l'Académie des sciences. Série 1, Mathématique. 1992, Vol 314, Num 6, pp 423-425, issn 0764-4442Article

A transfer theorem for nonstandard uniserialsEKLOF, P. C.Proceedings of the American Mathematical Society. 1992, Vol 114, Num 3, pp 593-600, issn 0002-9939Article

Unimodular minimal structuresHRUSHOVSKI, E.Journal of the London Mathematical Society. 1992, Vol 46, pp 385-396, issn 0024-6107, 3Article